Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
31	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
32	A generalization of F with abstraction over retyping functions Julien Cretin supervised by Didier Rémy Gallium, INRIA December 6, 2010 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:29:59 Type theory Lambda calculus Data types Polymorphism Theoretical computer science Subtype polymorphism System F ALGOL 68 Type system Software engineering Mathematics Computing
33	University of California Los Angeles Robust Service Composition A dissertation submitted in partial satisfaction Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-11-23 07:14:37 Programming language semantics Programming language theory Data types Type theory Operational semantics Citizens for Tax Justice Semantics Process calculus Subtype polymorphism Theoretical computer science Logic in computer science Software engineering
34	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Computing Data types Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 Type system Polymorphism Software engineering Programming language theory Type theory
35	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:30:58 Type theory Object-oriented programming Procedural programming languages Functional languages Subtype polymorphism ALGOL 68 OCaml E Software engineering Computing Programming language theory
36	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Programming language theory Type theory Data types Formal methods Polymorphism Subtype polymorphism Immutable object Type system Model theory Software engineering Computing Object-oriented programming
37	More Optimization Still have list walks: variable lookup, method lookup Can eliminate many with lexical addresses Can eliminate some by pre-computing method positions More Optimization: Eliminating List Walks Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Object-oriented programming Data types Type theory NeXT Objective-C Subtype polymorphism Java Nu Software engineering Computing Computer programming
38	Simple Polymorphic Usage Analysis Simple Polymorphic Usage Analysis Add to Reading List Source URL: www.lochan.org Language: English - Date: 2005-03-28 17:24:02 Computer programming Type theory Polymorphism Data types Glasgow Haskell Compiler Subtype polymorphism Compiler Algorithm Analysis Software engineering Computing Object-oriented programming
39	TRUST MANAGEMENT IN DISTRIBUTED RESOURCE CONSTRAINED EMBEDDED SYSTEMS A Dissertation Presented by Peter C. Chapin Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2013-12-10 21:45:26 Scripting languages Cross-platform software Object-oriented programming Type safety Subtype polymorphism Lua Semantics Serialization Computer security Software Computing Type theory